Optimal. Leaf size=79 \[ \frac{405}{416} (1-2 x)^{13/2}-\frac{4671}{352} (1-2 x)^{11/2}+\frac{1197}{16} (1-2 x)^{9/2}-\frac{3549}{16} (1-2 x)^{7/2}+\frac{57281}{160} (1-2 x)^{5/2}-\frac{26411}{96} (1-2 x)^{3/2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0151272, antiderivative size = 79, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.045, Rules used = {77} \[ \frac{405}{416} (1-2 x)^{13/2}-\frac{4671}{352} (1-2 x)^{11/2}+\frac{1197}{16} (1-2 x)^{9/2}-\frac{3549}{16} (1-2 x)^{7/2}+\frac{57281}{160} (1-2 x)^{5/2}-\frac{26411}{96} (1-2 x)^{3/2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 77
Rubi steps
\begin{align*} \int \sqrt{1-2 x} (2+3 x)^4 (3+5 x) \, dx &=\int \left (\frac{26411}{32} \sqrt{1-2 x}-\frac{57281}{32} (1-2 x)^{3/2}+\frac{24843}{16} (1-2 x)^{5/2}-\frac{10773}{16} (1-2 x)^{7/2}+\frac{4671}{32} (1-2 x)^{9/2}-\frac{405}{32} (1-2 x)^{11/2}\right ) \, dx\\ &=-\frac{26411}{96} (1-2 x)^{3/2}+\frac{57281}{160} (1-2 x)^{5/2}-\frac{3549}{16} (1-2 x)^{7/2}+\frac{1197}{16} (1-2 x)^{9/2}-\frac{4671}{352} (1-2 x)^{11/2}+\frac{405}{416} (1-2 x)^{13/2}\\ \end{align*}
Mathematica [A] time = 0.0161117, size = 38, normalized size = 0.48 \[ -\frac{(1-2 x)^{3/2} \left (66825 x^5+288360 x^4+540000 x^3+577080 x^2+388704 x+163888\right )}{2145} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.001, size = 35, normalized size = 0.4 \begin{align*} -{\frac{66825\,{x}^{5}+288360\,{x}^{4}+540000\,{x}^{3}+577080\,{x}^{2}+388704\,x+163888}{2145} \left ( 1-2\,x \right ) ^{{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.04309, size = 74, normalized size = 0.94 \begin{align*} \frac{405}{416} \,{\left (-2 \, x + 1\right )}^{\frac{13}{2}} - \frac{4671}{352} \,{\left (-2 \, x + 1\right )}^{\frac{11}{2}} + \frac{1197}{16} \,{\left (-2 \, x + 1\right )}^{\frac{9}{2}} - \frac{3549}{16} \,{\left (-2 \, x + 1\right )}^{\frac{7}{2}} + \frac{57281}{160} \,{\left (-2 \, x + 1\right )}^{\frac{5}{2}} - \frac{26411}{96} \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.36822, size = 144, normalized size = 1.82 \begin{align*} \frac{1}{2145} \,{\left (133650 \, x^{6} + 509895 \, x^{5} + 791640 \, x^{4} + 614160 \, x^{3} + 200328 \, x^{2} - 60928 \, x - 163888\right )} \sqrt{-2 \, x + 1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 2.13258, size = 70, normalized size = 0.89 \begin{align*} \frac{405 \left (1 - 2 x\right )^{\frac{13}{2}}}{416} - \frac{4671 \left (1 - 2 x\right )^{\frac{11}{2}}}{352} + \frac{1197 \left (1 - 2 x\right )^{\frac{9}{2}}}{16} - \frac{3549 \left (1 - 2 x\right )^{\frac{7}{2}}}{16} + \frac{57281 \left (1 - 2 x\right )^{\frac{5}{2}}}{160} - \frac{26411 \left (1 - 2 x\right )^{\frac{3}{2}}}{96} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 2.53176, size = 122, normalized size = 1.54 \begin{align*} \frac{405}{416} \,{\left (2 \, x - 1\right )}^{6} \sqrt{-2 \, x + 1} + \frac{4671}{352} \,{\left (2 \, x - 1\right )}^{5} \sqrt{-2 \, x + 1} + \frac{1197}{16} \,{\left (2 \, x - 1\right )}^{4} \sqrt{-2 \, x + 1} + \frac{3549}{16} \,{\left (2 \, x - 1\right )}^{3} \sqrt{-2 \, x + 1} + \frac{57281}{160} \,{\left (2 \, x - 1\right )}^{2} \sqrt{-2 \, x + 1} - \frac{26411}{96} \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]